大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Methods, Models and Tools for Fault Tolerance [electronic resource]

0
索取号：
作者：Butler、 Michael.、Jones、 Cliff.、Romanovsky、 Alexander.、Troubitsyna、 Elena.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Geodetic Reference Frames [electronic resource] : IAG Symposium Munich, Germany, 9-14 October 2006

0
索取号：
作者：Drewes、 Hermann.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Quantum Interaction [electronic resource] : Third International Symposium, QI 2009, Saarbr眉cken, Germany, March 25-27, 2009. Proceedings

0
索取号：
作者：Bruza、 Peter.、Sofge、 Donald.、Lawless、 William.、Rijsbergen、 Keith.、Klusch、 Matthias.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy [electronic resource] : 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings

0
索取号：
作者：Li、 Wenjie.、Moll谩-Aliod、 Diego.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Logic, Language, and Computation [electronic resource] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers

0
索取号：
作者：Bosch、 Peter.、Gabelaia、 David.、Lang、 J茅r么me.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

BAIL 2008 - Boundary and Interior Layers [electronic resource] : Proceedings of the International Conference on Boundary and Interior Layers - Computational and Asymptotic Methods, Limerick, July 2008

0
索取号：
作者：Hegarty、 Alan.、Kopteva、 Natalia.、O'Riordan、 Eugene.、Stynes、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Programming Languages and Systems [electronic resource] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号：
作者：Castagna、 Giuseppe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Applied Wave Mathematics [electronic resource] : Selected Topics in Solids, Fluids, and Mathematical Methods

0
索取号：
作者：Quak、 Ewald.、Soomere、 Tarmo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Multimodal Signals: Cognitive and Algorithmic Issues [electronic resource] : COST Action 2102 and euCognition International School Vietri sul Mare, Italy, April 21-26, 2008 Revised Selected and Invited Papers

0
索取号：
作者：Esposito、 Anna.、Hussain、 Amir.、Marinaro、 Maria.、Martone、 Raffaele.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Logic-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

0
索取号：
作者：Hanus、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

End-User Development [electronic resource] : 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings

0
索取号：
作者：Pipek、 Volkmar.、Rosson、 Mary Beth.、Ruyter、 Boris.、Wulf、 Volker.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Handbook on Business Process Management 1 [electronic resource] : Introduction, Methods, and Information Systems

0
索取号：
作者：Brocke、 Jan vom.、Rosemann、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Algorithmic Foundation of Robotics VIII [electronic resource] : Selected Contributions of the Eight International Workshop on the Algorithmic Foundations of Robotics

0
索取号：
作者：Chirikjian、 Gregory S.、Choset、 Howie.、Morales、 Marco.、Murphey、 Todd.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Integrated Formal Methods [electronic resource] : 7th International Conference, IFM 2009, D眉sseldorf, Germany, February 16-19, 2009. Proceedings

0
索取号：
作者：Leuschel、 Michael.、Wehrheim、 Heike.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Graph Drawing [electronic resource] : 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008. Revised Papers

0
索取号：
作者：Tollis、 Ioannis G.、Patrignani、 Maurizio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Engineering Secure Software and Systems [electronic resource] : First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings

0
索取号：
作者：Massacci、 Fabio.、Redwine、 Samuel T.、Zannone、 Nicola.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院